Dynamic program analysis - PDFSEARCH.IO - Document Search Engine

Dynamic program analysis
Results: 117

#	Item
31	A Calculational Approach to Program Inversion Shin-Cheng Mu Linacre College 23rd January 2003 Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 1969-12-31 19:00:00 Operations research Mathematical optimization Mathematical logic Analysis of algorithms Algorithm RSA Dynamic programming Tree traversal Time complexity Mathematics Theoretical computer science Applied mathematics
32	Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu Add to Reading List Source URL: systems.cs.columbia.edu Language: English - Date: 2013-09-04 15:38:19 Data types Software bugs Primitive types Static program analysis Pointer Compiler construction Alias analysis Aliasing Memory safety Software engineering Computing Computer programming
33	Tralfamadore: Unifying Source Code and Execution Experience (Short Paper) Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson and Andrew Warfield Department of Computer Science, University of Britis Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2009-08-25 18:11:21 Debugging Software optimization Program analysis Profiling Dynamic program analysis Program slicing Instrumentation Debugger Exception handling Computer programming Computing Software engineering
34	Microsoft Word - Program EC2 2014.docx Add to Reading List Source URL: www.econ.upf.edu Language: English - Date: 2014-12-04 11:00:42 Statistical forecasting Time series analysis Eric Ghysels Dynamic stochastic general equilibrium Forecasting Macroeconomic model Economic forecasting Robert F. Engle Time series Economics Macroeconomics Statistics
35	Finance and Economics Discussion Series Divisions of Research & Statistics and Monetary Affairs Federal Reserve Board, Washington, D.C. Stress-Testing U.S. Bank Holding Companies: A Dynamic Panel Quantile Regression Appr Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2014-03-10 15:46:50 Financial risk Econometrics Systemic risk Actuarial science Regression analysis Supervisory Capital Assessment Program Stress testing Quantile regression Stress test Economics Statistics Financial economics
36	An Efficiently Solvable Quadratic Program for Stabilizing Dynamic Locomotion Scott Kuindersma, Frank Permenter, and Russ Tedrake Abstract— We describe a whole-body dynamic walking controller implemented as a convex qua Add to Reading List Source URL: drc.mit.edu Language: English - Date: 2014-04-06 21:07:31 Control theory Quadratic programming Optimal control Model predictive control Convex optimization Humanoid robot Active set Trajectory optimization Zero moment point Mathematical optimization Systems theory Mathematical analysis
37	ICSE: G: Fighting Software Configuration Errors with Combined Static and Dynamic Program Analyses Sai Zhang Department of Computer Science & Engineering University of Washington Add to Reading List Source URL: src.acm.org Language: English - Date: 2014-04-23 10:43:40 Debugging Program analysis Program slicing Program transformation Software maintenance Error Configuration management Windows Registry Software bug Computer programming Software engineering Computing
38	A Dynamic Site Investigation Adaptive Sampling and Analysis Program for Operable Unit 1 at Hanscom Air Force Base Bedford, Massachusetts Prepared by Add to Reading List Source URL: clu-in.org Language: English - Date: 2002-12-03 13:45:52 Chromatography Mass spectrometry Laboratory techniques Measuring instruments Separation processes Gas chromatography–mass spectrometry Gas chromatography Environmental monitoring Geotechnical investigation Chemistry Science Scientific method
39	Pacific Earthquake Engineering Research Center Software Framework for Collaborative Development of Nonlinear Dynamic Analysis Program Jun Peng Add to Reading List Source URL: peer.berkeley.edu Language: English - Date: 2009-01-29 22:42:53 Earthquake engineering Numerical software OpenSees MATLAB Data model Tcl Array data type R Software Computing Mathematical software
40	A Dynamic Site Investigation Adaptive Sampling and Analysis Program for Operable Unit 1 at Hanscom Air Force Base Bedford, Massachusetts Prepared by Add to Reading List Source URL: clu-in.org Language: English - Date: 2002-12-03 13:46:42 Chromatography Mass spectrometry Laboratory techniques Measuring instruments Separation processes Gas chromatography–mass spectrometry Gas chromatography Environmental monitoring Geotechnical investigation Chemistry Science Scientific method

UPDATE